一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

漂浮式微型波力发电装置传动系统的速度分析与调节

针对边防驻岛官兵用电难的问题,结合海洋波浪能特点,提出了一种新型漂浮式微型波力发电装置。基于装置结构模型,分析了其结构特征和工作原理;建立了传动系统的运动学模型,分析了其运动特性和速度调节性能;进行算例分析,验证了理论模型的正确性。研究表明：双侧传动轮系输入系统优于单侧传动轮系输入系统;改变飞轮的转动惯量,可以调节速度的波动。分析结果为该装置的后续试验研究提供了理论依据。     

基于战斗力生成模式转变的合成营战术训练探要

推动训练向基于信息系统训练模式转变,是当前开展信息化条件下训练亟待解决的问题.文章从训练理念、训练设计、训练组织和训练考评等方面进行了探讨,以积极稳妥推进合成营战术训练深入发展,实现作战能力整体跃升.     

信息管理误失灰色补偿方法

在信息采集、信息管理、信息传递过程中,数据链出现空穴、误传或丢失等情况时,将影响信息采集传递的安全性与信息管理的有效性,是信息管理与使用中一个值得关注的问题,如何对数据列进行有效补偿则是解决该问题的关键.运用灰色理论与正交试验设计方法建立了信息链缺失补偿模型并给出了信息链空穴补偿优化准则.所给出的具体的补偿实例说明信息链空穴灰色生成与正交试验设计生成是一种极为有效的信息缺失补偿方法.     

陆军武器装备需求生成程序研究

借鉴美军"联合能力集成与开发系统"的分析流程,以"面向任务、基于能力"的需求牵引观为指导,研究提出我陆军武器装备需求生成程序,确定了每一环节的具体任务和要求,对完善陆军武器装备需求生成机制和需求的统一论证具有一定的现实和理论意义。     

美军需求生成工作的工程化研究

在明确了"工程化"内涵的基础上,研究了美军依托联合能力集成与开发系统(Joint Capabilities Integrationand Development System,JCIDS)建立的与装备需求生成紧密相关的军队联合能力需求生成机制。指出该机制具有典型的工程化特征和很高的工程化程度,集中体现在程序、任务、方法、成果、描述和管理6个方面。逐一阐述了各个方面中蕴含的工程化思想和方法,对建立符合我军特点的装备需求工程学科有一定参考价值。     

特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

函数生成器的优化设计

本文介绍了一种优化的多变量函数产生器的设计思想,详尽论述了多变量函数快速插值算法、消除冗余断点搜索的思想以及搜索次数为１的断点搜索策略。实用表明,该产生器高效可行,比一般的多变量函数产生器减少计算量一半左右,有效地缩短了仿真问题的求解时间。     

实时仿真计算机系统的若干问题

本文比较了实时仿真计算机系统中配备A/D、D/A变换器的两种方案。分析了几种检索算法,并且提出了一种新的全并行检索方法——映象检索。文中论述了仿真计算任务的特点及其并行性的开发。本文在分析了AD-10的缺点之后指出,纯异构型仿真专用多处理机的局限性较大,不能充分开发仿真计算任务的并行性。较好的结构形式应是以同构型多处理机为核心。     

面向复杂几何模型的多级并行四面体网格生成算法

高性能计算机的快速发展为数值模拟提供了必需的硬件环境,数值模拟领域对网格的需求已高达数十亿到数百亿量级,而网格生成作为数值模拟的重要一环,其发展则相对滞后,很难满足并行数值模拟求解器对大规模网格的需求。本文面向复杂几何模型提出一种多级并行四面体网格生成算法,该算法首先基于模型的几何特征建立网格的尺寸场,并基于尺寸场和几何实体间的邻接关系对几何实体进行分组,将分组后的几何实体分配到不同的计算节点,在计算节点间采用前沿推进法实现三角形面网格的并行生成,然后在计算节点内对三角形面网格进行二级区域分解,将分解后的子网格分配到各进程中,最后在进程内采用多线程并行方法实现四面体网格的并行生成。通过实际应用三峡大坝模型进行验证,该算法具有良好的并行效率和可扩展性,可以在数千处理器核上实现十亿规模高质量四面体网格的并行生成。